机译:基于模型的自动水路系统运营设计和形式验证过程
机译:在基于测试平台的验证环境中进行自动设计调试
机译:将基于位置的信息集成到移动学习管理系统中,以验证非正式学习环境中的科学公式
机译:SMAP上行链路的模型验证和验证处理模型的基于模型的开发方法和用于航空航天系统软件的自动验证
机译:通过客户端/服务器和移动代理方法自动验证电子游戏设备软件
机译:自动化的数字点胶平台的验证该平台用于基于孔稀释液微稀释的药敏试验
机译:基于模型的自动化航道系统运行设计和形式验证过程
机译:基于风险的验证,验证和认可/验收过程的调整(适应性过滤,验证,验证,验证/接受)。